{ x = { a = 1 } } ∧ { y = { b = 2 } }
